Add Makefile rules for ido.texi
authorGlenn Morris <rgm@gnu.org>
Thu, 25 Jul 2013 15:46:00 +0000 (08:46 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 25 Jul 2013 15:46:00 +0000 (08:46 -0700)
commit46a61bb94156e7755961bf691558b04af070a401
treefc6c1db913fcee0e6be0d9c80c91c970f685f44b
parent9b1e8268754cbc826124bbc44facacd7d56323a3
Add Makefile rules for ido.texi

* doc/misc/Makefile.in (INFO_TARGETS, DVI_TARGETS, PDF_TARGETS): Add ido.
(ido, $(buildinfodir)/ido$(INFO_EXT), ido.dvi, ido.pdf): New rules.

* info/dir: Add ido.
ChangeLog
doc/misc/ChangeLog
doc/misc/Makefile.in
info/dir